量子位 05-22 07:05

菲尔兹奖得主都看懵了:OpenAI非数学模型首次自主突破80年未解数学难题

📌 一句话:通用AI模型独立破解80年数学难题,数学家惊呼"人类思维的边界被重新定义"。

💡 3个要点

  • OpenAI的通用大语言模型在无专门数学训练的情况下,自主发现了一道数论难题的证明方法

  • 这道题自1940年代以来从未被解决,连菲尔兹奖得主起初都认为AI的证明存在漏洞

  • 验证后发现AI的证明不仅正确,还引入了数学家从未想过的全新思路

💭 点评

这不仅是AI技术的里程碑,更是对"人类独特创造力"的根本性挑战。当一台从未学过"如何做数学"的机器,能够跳出人类百年思维定式,意味着通用智能的本质正在被重新定义。数学曾被视为人类抽象思维的最后堡垒,如今这座堡垒已被攻破——不是靠蛮力,而是靠某种我们尚未理解的东西。

码头码农 - 微信搜索关注